VTLB_PTE_IO_BIT is not used any more.
Signed-off-by: Kouya Shimura <kouya@jp.fujitsu.com>
#ifdef VTLB_DEBUG
int index;
#endif
- u64 gpfn, gpte;
+ u64 gpfn;
u64 ps, va, rid;
thash_data_t * p_dtr;
if (ps != _PAGE_SIZE_16M)
thash_purge_entries(vcpu, va, ps);
gpfn = (pte & _PAGE_PPN_MASK)>> PAGE_SHIFT;
- gpte = lookup_domain_mpa(vcpu->domain, gpfn, NULL);
- if (gpte & _PAGE_IO)
- pte |= VTLB_PTE_IO;
vcpu_get_rr(vcpu, va, &rid);
rid &= RR_RID_MASK;
p_dtr = (thash_data_t *)&vcpu->arch.dtrs[slot];
#endif /* __ASSEMBLY__ */
#define VTLB_PTE_P_BIT 0
-#define VTLB_PTE_IO_BIT 60
-#define VTLB_PTE_IO (1UL<<VTLB_PTE_IO_BIT)
#define VTLB_PTE_P (1UL<<VTLB_PTE_P_BIT)
#define ITIR_RV_MASK (((1UL<<32)-1)<<32 | 0x3)